Vorwort | Avant-propos

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Vorwort zum 2. Workshop IT-Unterstützung für Rettungskräfte (Vorwort)

Bereits zum zweiten Mal findet in diesem Jahr im Rahmen der Jahrestagung der Gesellschaft für Informatik der Workshop zur IT-Unterstützung für Rettungskräfte statt. In diesem Heft der Jenaer Schriften zur Mathematik und Informatik geben wir einen Überblick über den Workshop und drucken zudem die eingereichten Kurzbeiträge ab. Die Langbeiträge sind in den Proceedings der INFORMATIK 2010 in der L...

Vorwort der Herausgeber

(Mainz) ausgewerteten Trierer Talmud-Fragmente verdeutlicht.

Vorwort zum Doktorandensymposium 2013